Nuprl Definition : fpf-domain 11,40
fpf-domain(f) == f.1 
latex

Definitionst.1
FDL editor aliasesfpf-domain

origin